#include<bits/stdc++.h>
using namespace std;
int main()
{
	int m,k,i=0;
	cin>>m>>k;
	if(m%19!=0)
	{
		cout<<"NO";
		return 0;
	}
	else
	{
		while(m!=0)
		{
			i=m%10==3?i+1:i;
			m=m/10;
		}
	}
	i==k?cout<<"YES":cout<<"NO";
	return 0;
}

